Theoremproving system
[计] 定理证明系统
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
You were four or five years old, I think.
当时你才四、五岁 我想。
He has never been out of China, so he is very excited about liveing abroad.
他以前从未出过国，因此对出国很兴奋。
The quiet life of the country ahs never appealed to me.
宁静的乡村生活从来没有吸引过我。